10

Programs from proofs using classical dependent choice

Year:
2008
Language:
english
File:
PDF, 327 KB
english, 2008
16

Proofs, Programs, Processes

Year:
2012
Language:
english
File:
PDF, 609 KB
english, 2012
22

Extracting a DPLL Algorithm

Year:
2012
Language:
english
File:
PDF, 228 KB
english, 2012
25

Real-Time Single-Molecule Imaging of the Infection Pathway of an Adeno-Associated Virus

Year:
2001
Language:
english
File:
PDF, 463 KB
english, 2001
34

Program extraction applied to monadic parsing

Year:
2015
Language:
english
File:
PDF, 352 KB
english, 2015
40

Logic, Construction, Computation () || Preface

Year:
2012
Language:
english
File:
PDF, 83 KB
english, 2012
41

Logic, Construction, Computation () || Polymorphic Logic

Year:
2012
Language:
english
File:
PDF, 204 KB
english, 2012
43

Logic, Construction, Computation () || Frontmatter

Year:
2012
Language:
english
File:
PDF, 237 KB
english, 2012
50

Logic, Construction, Computation () || Contributors

Year:
2012
Language:
english
File:
PDF, 75 KB
english, 2012